chance of getting at most 12 heads in 20 coin flips