SMT: Satisfaction Modulo Theories