Sabe-se que 30 funcionários de uma gráfica demoram 12 dias para encadernar 5.000 cadernos. Mantendo as mesmas condições de trabalho, quantos dias 40 funcionários levariam para encadernar a mesma quantidade de cadernos?