a268test0002.smt2 736 Bytes