quandary-item/sudoku-sat not found