Uma equipe de construção consegue erguer um muro de 10 metros de altura em 5 dias, trabalhando 3 horas por dia. Suponha que a taxa de trabalho seja constante. Se eles aumentarem a jornada de trabalho para 9 horas por dia, em quantos dias, ao todo, conseguirão construir um muro de 15 metros de altura?