How to find the probability of rolling divisors of 12?