The office of students services at a large western state university maintains information on the study habits of its full-time students. Their students indicate that the mean amount of time undergraduate students study per week is 20 hours. The hours studied follows the normal distribution with a population standard deviation of six hours. Suppose we select a random sample of 144 current students. What is the probability that the mean of this sample is less than 19.25 hours?