7.Intro SMT.pdf