20men can dig a trench in 15hours, how many men can dig the same trench in 10 hours if they work at the same rate?​