Um turista brasileiro saiu do Rio de Janeiro às 12h do dia 7 de dezembro com destino à cidade de Rio Branco, no Acre. Sabendo que a cidade de origem adota o horário de verão, e a viagem durou seis horas, qual foi o horário do desembarque do turista no destino?