Yesterday, Maura made $142 at her waitressing job. $67 was tips, and the rest was her regular rate of $10 per hour. How long did Maura work yesterday?