0 init
1 set check 1
2 set elimint 0
3 add -2
4 add -1
5 add 0
6 add -3
7 add 1
8 add 0
9 solve 0