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