Configurable smt