../picosat-965/sudoku.sat