A workmans basic hourly wage is $20, but he receives one and a half times his hour rate for any hours worked in excess of 40 per week. If his paycheck for the week is $1280, how many hours of overtime did he work?