1; EXPECT: sat 2(set-logic QF_NRA) 3(set-info :smt-lib-version 2.0) 4(set-info :status sat) 5(declare-fun x () Real) 6(declare-fun y () Real) 7(declare-fun n () Real) 8 9(assert (= (/ x n) 0)) 10(assert (= (/ y n) 1)) 11 12(check-sat) 13