Boolean_satisfiability_problem loading ...