Satisfiability problem | lit.salon