init
set elimint 0
add -3
add 1
add 0
add -3
add 2
add 0
add 3
add -1
add -2
add 0
solve
val 1
val 2
val 3
add 3
add 0
solve
val 1
val 2
val 3
reset