用一根绳子量井深,把绳子3折来量,井外余4尺;把绳子4折来量,井外于1尺,井深合绳长个是多少