log/smt2perr166.smt2:2:1: unexpected end-of-file in string