Lee Manufacturing uses a standard cost system with overhead applied based on direct labor hours. The manufacturing budget for the production of 5,000 units for the month of May included the following information. Direct labor (10,000 hours at $15 per hour) $150,000 Variable overhead Fixed overhead $30,000 $80,000 During May, 6,000 units were produced and the direct labor efficiency variance was $1,500 unfavorable. Based on this information, the actual number of direct labor hours used in May was: O 11,900 hours O 12,100 hours O 10,100 hours O 9,900 hours