Os funcionários de uma empresa tiveram que optar pelo
horário de almoço mais conveniente: 11 horas, 12 horas
e 13 horas. Cada funcionário escolheu apenas um horário. Sabe-se que 1/4 do total de funcionários escolheu
11 horas, 3/5 do total escolheu 12 horas, e os demais,
12 funcionários, escolheram 13 horas. O número de funcionários que escolheram 12 horas é igual a