0 init
1 set check 1
2 assume 1
3 assume -2
4 add 2
5 add -1
6 add 0
7 solve 0