Can We Do Better Than Ac3 Ai Constraint Satisfaction