Added backtracing to SAT solver