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