Вода может поступать в бассейн через четыре трубы. Если открыты первая, вторая и третья трубы, бассейн заполняется за 12 минут; если открыты вторая, третья и четвёртая трубы за 15 минут; если первая и четвёртая за 20 минут. За какое время заполняется бассейн, если открыты все четыре трубы?