The average time required per student to enroll in an odd semester at a university college is 50 minutes with a standard deviation of 10 minutes. A new registration procedure that using modern machines is being tried. If a random sample of 12 students takes time the average registration time required with the new system is less than 50 minutes. Use level real 0.005. Assume that the population time required is normal.