set max-backjumps = 3