up-SMT-engine