1 2 3 4 5 6 7 8 9 10 11 12 13
x, y: BOOLEAN; ASSERT (x OR y); CHECKSAT; PUSH; ASSERT (NOT x); CHECKSAT; POP; PUSH; ASSERT (NOT y); CHECKSAT; POP; CHECKSAT;