all definitions fixed. Backjumping finished.