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