CSPsolve problem now fixed. Next time you fix a tuple don't give it a value of 1. Matching still not stable, SMTI?