; COMMAND-LINE: --nl-ext --decision=internal --no-check-models
; EXPECT: sat
(set-logic ALL)
(assert (or (< 60.3 (exp 4.1) 60.4) (< (exp 5.1) 164.1)))
(check-sat)