Um elevador pode carregar, no máximo, 12 adultos ou, equivalentemente, 20 crianças. O número máximo de crianças que podem subir nesse elevador com 9 adultos é: