Em uma empresa, trabalham 40 homens e 25 mulheres. Se, do total de homens, 80% não bebem e, do total de mulheres, 12% bebem, então o número de funcionários dessa empresa, que são homens ou bebem, é