2.7 backtracing and branch and bound