an oil tanker can be emptied by the main pump in 4 hours. an auxiliary pump can empty the tanker in 9 hours. if the main pump is started at 9am when should the auxiliary pump be started so that the tanker is emptied by noon?