https://blog.gongquiz.com/2024/04/12/smt-%ec%8b%a0%eb%a2%b0%ec%84%b1%ec%9d%98-3%eb%8c%80-%ec%9a%94%ec%86%8c%ea%b0%80-%ec%95%84%eb%8b%8c-%ea%b2%83%ec%9d%80-%ec%a0%84%ec%9e%90%eb%b6%80%ed%92%88%ec%9e%a5%ec%b0%a9%ea%b8%b0%eb%8a%a5/