5.3 SMT的一般应用性问题