- adding removed sudoku_to_SAT file and unit tests for sudoku