let unsat n a =
  match Context.add (get_context n) a with 
    | Context.Status.Inconsistent -> true
    | _ -> false