Z3SMC6.8 PDF File