Satisfiability problem

  1. REDIRECT satisfiability