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