satisfiability problem

  1. REDIRECT satisfiability