sum(C(12, 9+n) * 6 * 5^(3-n)/(6^12)) 0 to 3