The mean weight of loads of rock is 45.0 tons with a standard deviation of 12.0 tons. If 16 loads are chosen at random for a weight check, find the probability that the mean weight of those loads is less than 42.00 tons. Assume that the variable is normally distributed.