Jude can dig a hole by himself in 12 hours. John can do it in 8 hours and Jack can do it in 6. How long will it take if they work together?​