1 2 3 4 5 6 7 8 9 10 11 12
; COMMAND-LINE: ; EXPECT: unsat (set-logic QF_LIA) (declare-fun i () Int) (declare-fun j () Int) (assert (> (+ i j) 1)) (assert (< i 1)) (assert (< j 1)) (check-sat)