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