Если открыть только кран с горячей водой, то ванна заполнится за 25 мин, а если только кран с холодной водой, то за 20 мин. Антон пустил в ванну горячую воду. Через сколько минут он должен открыть кран с холодной водой, чтобы к моменту наполнения в ванне горячей воды было вдвое больше, чем холодной?