Sudoku solution using 3SAT