The average height of young adult males has a normal distribution with standard deviation of 2.5 inches. You want to estimate the mean height of students at your college or university to within 0.6 inch with 93% confidence. How many male students must you measure?