How are you encoding the state spaces for the sudoku solver specifically?