log/smt2perr060.smt2:2:1: ')' missing at end-of-file