Os operadores dos guindastes do Porto de Itaqui são todos igualmente eficientes. Em um único dia, seis desses operadores, cada um deles trabalhando durante 8 horas, carregam 12 navios.

Com referência a esses operadores, julgue o item seguinte.

Para carregar 18 navios em um único dia, seis desses operadores deverão trabalhar durante mais de 13 horas.