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