Lucifer SMT 2