Three coins are tossed and two dice are thrown at the same time. Find the probability of obtaining three heads and a total of 12 on the dice