log/smt2perr168.smt2:1:13: illegal backslash '\'