log/smt2perr006.smt2:1:2: unexpected end-of-file after 'set-logic'