satisfiable

not defined yet