SMT를 알아보자 01