Two inlet pipes can fill a tank in 15 minutes and 20 minutes respectively. Due to a leak at the bottom, the tank is filled in 12 minutes when both pipes are functioning. how long will it take for the full tank to empty through the hole?