A simple random sample of FICO credit rating scores is obtained, and the scores are listed below. As of this writing, the mean FICO score was reported to be 678. Assuming the the standard deviation of all FICO scores is known to be 58.3, use a 0.05 significance level to test the claim that these sample FICO scores come from a population with a mean equal to 678.

714 751 664 789 818 779 698 836 753 834 693 802