Carl can do a particular job in 4 hours. It takes Mike 7 hours to do the same job. Approximately how long will it take them to do the same job working together?​