Lori rented a car for one day. The daily rent day was $12. 50 plus 25 cents per mile. The total cost of her rental was $46. How many miles did she drive that day