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