log/smt2perr014.smt2:1:12: expected ')' after 'check-sat' at 'symbol'