; COMMAND-LINE: --no-check-unsat-cores
; EXPECT: unsat
(set-logic QF_LIRA)

(declare-fun i () Int)
(declare-fun j () Int)
(declare-fun x () Real)
(declare-fun y () Real)



(assert (= x y))
(assert (= x (- 2.5 y)))
(assert (>= (+ i j) x))
(assert (<= j (+ x 0.5)))
(assert (<= i 0))

(check-sat)