lecture 12 smt and ilp innovations 270731