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