satisfiability

not defined yet