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