It takes 12 hours to fill a pool with the inlet pipe. It can be emptied in 15 hours with the outlet pipe. If the pool is 1/2 full to begin with, how long will it take to fill it from there if both pipes are open?