unsatisfiableness

not defined yet