6.2+分支定界解法