unsatisfiable

not defined yet