init
set check 1
set checkfrozen 1
add 1
add 2
add 3
add 0
add -1
add -2
add -3
add 0
freeze 1
freeze 2
solve
add -1
add 2
add 0
add -1
add 2
add 0
melt 2
solve
melt 1
add 1
add 0
solve
reset