The satisfiability problem | lit.salon