10 or more heads out of 13 coin flips