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?