[fovc]

You realize you're saving no characters writing S{M|A}T instead of SAT/SMT? :) It's like abbreviating world wide web to double-u, double-u, double-u.