Constraint_satisfaction loading ...