b178test0020.smt2 981 Bytes