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