P(7 3-sided dice less than 12)