Use PicoSAT assumptions to speedup Sudoku