Backtracking search.