sum (1/4)^(n)*(3/4)^(20-n)*(20 choose n) from 12 to 20