nonsatiability

not defined yet