(set-logic QF_S)
(declare-fun var0 () String)
(assert (= (Concat "\\N}" var0) (Concat var0 "/S6")))
(check-sat)