Z3SMC27 PDF File