1init 2set walk 1 3set walkmineff 10 4add 1 5add 2 6add 0 7add 1 8add -2 9add 0 10assume -1 11limit localsearch 1 12solve 0 13