Durante uma construção, 5 homens, igualmente eficientes, concluíram
uma obra em 15 dias, trabalhando 6 horas diárias. Se fossem 9 homens,
igualmente eficientes aos anteriores, quantos dias levariam para concluir a
mesma obra trabalhando 10 horas por dia?