Um voo internacional decolou de Brasília exatamente às 22h47min (no horário oficial de ...

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?