SMT обзор. Сценарии использования. Часть 2