Um estacionamento cobra R$ 4,00 para um automóvel parar por até 1 hora. Por até 2 horas ele cobra R$ 5,00; por até 3 horas, R$ 5,80, e a partir desse período sempre acrescenta R$ 0,80 a cada hora (ou fração de hora) a mais que o veículo está estacionado. Se um motorista pagou R$ 17,00 e ficou estacionado uma quantidade inteira de horas, então por quantas horas ele manteve o veículo estacionado?