Um servidor público chegou na Câmara Municipal às 7h58min. Trabalhou a manhã toda, saindo às 12h12min para almoçar. Depois do almoço, ele começou a trabalhar às 14h02min, parando para ir embora, exatamente, no horário em que completou sua carga horária de 8 horas diárias. Qual foi o horário que esse servidor parou de trabalhar nesse dia?