Z3SMC12 PDF File