Yaklaşık SMT-SO
SMT