At most three heads in 23 flips