a84test0002.smt2 502 Bytes