20. A pair of standard dice are rolled. What is
the probability that at least one die is a 5,
given that the sum of the numbers on the
dice is at least 8?
