Первая труба может наполнить бассейн за 25 минут, а вторая – за 15 минут. За сколько минут наполнится этот бассейн, если открыть обе трубы?