a228test0002.smt2 596 Bytes