Determinado servidor deve cumprir um total de 8 horas
mínimas diárias no órgão público. Em um dia, ele chega às
07h52min ao órgão, e exerce suas atividades até 12h25min,
momento que sai para almoço, retornando às 13h37min. A
partir dessas informações, até que horas, no mínimo, esse
servidor deve trabalhar para cumprir a carga horária do dia?