log/smt2perr021.smt2:1:3: illegal (non-printable) character (code 195)