smt and innovations in ilp 9253252