The weights of envelopes sent from an insurance office are normally distributed with mean = 12 ounces and standard deviation of 3.7 ounces. The mail room clerk would like to know the average weight of 20 envelopes. What is the probablilty that the mean weight x is heavier than 13 ounces