backtracking, state