b339test0006.smt2 722 Bytes