sudoku optimization
sudoku benchmark data