Suppose a batch of metal shafts produced in a manufacturing company have a standard deviation of 1.3 and a mean diameter of 202 inches. If 70 shafts are sampled at random from the batch, what is the probability that the mean diameter of the sample shafts would be less than201.9inches? Round your answer to four decimal places.