#SAT/SMT