The airport garage charges ​$5 to park for the first hour and then ​$3.50 an hour for any additional hours. Ben paid ​$57.50 to park there one day when he flew to another city. How many hours was he parked at the airport?