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