An unknown distribution has a mean of 80 and a standard deviation of 12. A sample size of 95 is drawn randomly from the population. Find the probability that the sum of the 95 values is less than 7,250. (Round your answer to four decimal places.)