("Maximum number of backjumps allowed while solving (default: "++showdefaultMaxBackjumps++"). Use a negative number to enable unlimited backtracking. Use 0 to disable backtracking completely.")
("Maximum number of backjumps allowed while solving (default: "++showdefaultMaxBackjumps++"). Use a negative number to enable unlimited backtracking. Use 0 to disable backtracking completely.")