8 sump pumps working at the same rate drain a flooded basement in 6
1/4 hours. How long would it take 4 pumps to drain the same amount
from the basement?