lecture 12 smt and ilp innovations 9750598