The marks on the statistics midterm test are normally distributed with a mean of 72 and a standard deviation of 9. Pat Statsdud plans to do just enough work so that the midterm mark is better than 25% of the class. What midterm mark should Pat aim for?