Sudoku solver based on the CafeSat solver