Text this: Preface to Special Issue on Satisfiability Modulo Theories.