Fixed backtrack solvers