unicode-symbol.smt2

(set-logic QF_LRA)
(declare-fun あいうえお () Real)
(declare-fun café () Real)
(check-sat)