O hall de um edifício comercial possui três elevadores que servem andares diferentes. Entre sair do hall,
atender aos andares predeterminados e voltar ao hall
para reiniciar as viagens, cada um desses elevadores,
em situações normais, demora 4 minutos, 10 minutos e
12 minutos, respectivamente. Em um dia em que os elevadores operaram normalmente, esses elevadores encontravam-se no hall às 9h12min. O próximo horário em que os
três elevadores estiveram, ao mesmo tempo, no hall, foi às