1init
2set elimint 0
3add -3
4add 1
5add 0
6add -3
7add 2
8add 0
9add 3
10add -1
11add -2
12add 0
13solve
14val 1
15val 2
16val 3
17add -2
18add 0
19solve
20val 1
21val 2
22val 3
23reset
24