Propositional_satisfiability loading ...