0 init
1 set check 1
2 assume -1
3 assume 1
4 solve 0