satiability

not defined yet