sudoku solver as a generic backtracking state space exploration