A student believes that the average grade on the statistics final examination is 87. A sample of 36 final examinations is taken. The average grade in the sample is 83.96 with a sample standard deviation of 12. Carry out the hypothesis testing that the real mean is less than 87. Use a 0.05 level of significance.