15 आदमी किसी खाई को खोदने में 10 दिन लगाए तो 10 आदमी को कितना टाइम लगेगा