b162test0004.smt2 1.24 KB