simplify small_exact_constraint_satifaction_example

5 jobs for exact_constraint_satisfaction in 9 minutes and 17 seconds