init
set phase 0
set walk 1
add 1
add 2
add 3
add 0
assume -2
assume -1
assume 1
assume 2
limit localsearch 1
solve 0