The average (mean) high temperature in Iowa in October is 63F with a standard deviation of 11.5F and is normally distributed. What would a day's high temperature have to be (at minimum) for it to be considered in the hottest 15%?

Do not round your answer.

If the answer cannot be determined because the standard normal curve cannot be used for this problem, type 123456.