log/smt2perr041.smt2:1:29: illegal (non-printable) character (code 0)