satisfiable
unsatisfiable