Sudoku solved by a SAT Solver (see post)