Um voo internacional decolou de Brasília exatamente às 22h47min (no horário oficial de Brasília). Após várias horas de voo, o comandante anunciou aos passageiros que aterrissaria no aeroporto de Londres exatamente às 14h25min (no horário oficial de Londres). Sabendo que há uma diferença de fuso horário de 4 horas entre essas duas cidades, qual o tempo de duração desse voo?