let
unsat () =
Printf
.printf
"# Result: Unsatisfiable\n"