the average length of adult saltwater crocodiles in a large region is 11.8 feet. if the lengths are normally distributed with a standard deviation of 1.6 feet, find the probability that the average of a random sample of 49 adult crocodiles is more than 12.14 feet long.