Experiment with more elaborate backtracking