Um grupo de 15 operários, trabalhando 8 horas por dia, construiu 40 metros de muro em 10 dias. Se a produtividade dos novos operários for quatro vezes maior, o número de operários necessários para construir 80 metros do mesmo muro em apenas 4 dias, trabalhando 6 horas por dia, é igual a: