[단상] SMT를 기대하면서도 두려워해야 할 이유