sat? valid? print-tt
print-truth-table print-sudoku benchmarks