smt and innovations in ilp 1026758