Jan Hensel / sudoku-sat