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