The mean serum cholesterol level for U.S. adults was 204, with a standard deviation of 42.5 (the units are milligrams per deciliter). A simple random sample of 112 adults is chosen. Round the answers to at least four decimal places. What is the probability that the sample mean cholesterol level is greater than 212?