15 pipes, each having the same diameter, can fill a cistern in 12 minutes. How long will it take for 6 pipes, each with double the original diameter, to fill the same cistern at the same speed of the flow?
1
7.5 minutes
2
10 minutes
3
9.5 minutes
4
12 minutes