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?