Joana precisa descongelar um certo alimento no seu forno de micro-ondas, por 9 minutos, na potência máxima. Como o marcador de tempo do micro-ondas está quebrado, ela decidiu marcar o tempo apenas com a ajuda de duas am- pulhetas: uma que conta 4 minutos, e outra que conta 7 minutos. O alimento não precisa, necessariamente, ficar 9 minutos contínuos no forno, podendo ser descongelado em pequenos intervalos, desde que o tempo total de descongelamento não ultrapasse 9 minutos. O menor tempo, em minutos, necessário para Joana descongelar esse alimento, é: