5 or more heads in 9 tosses