12. Jimmy is paid $14.50 per hour for a regular forty-hour work week and 5 point time and a half for any hour worked over 40. This pas week, Jimmy earned $754.00 in total pay. How many hours of overtime did Jimmy work?