一艘船漏水了12人掏3小时掏完5人10 小时掏完 2小时掏完要几人