log/smt2perr056.smt2:3:1: unexpected end-of-file after ':status'