A média dos salários dos funcionários de uma empresa é
R$ 1.700,00. Se metade desses funcionários receberem
um aumento de R$ 300,00 e 12 funcionários receberem
um aumento de R$ 170,00, a média salarial de todos os
funcionários passará a ser R$ 1.870,00. O número de
funcionários dessa empresa é