unsatisfiedness

not defined yet