2-satisfiability loading ...