45 पुरुषों को एक तालाब खोदने में 25 दिन लगते हैं। यदि तालाब को 15 दिनों में खोदना हो, तो काम पर रखे जाने वाले पुरुषों की संख्या क्या है?