[2625] Tre operai riparano lo stesso oggetto rispettivamente in cinque, otto e dieci ore. Quanto tempo impiegano a riparare 17 oggetti se lavorano insieme?