"satisfiability" . "satisfiability" . . .