unsatiability

not defined yet