unsatisfiability

not defined yet