SMT를 통해 되찾아야 할 것

SMT를 통해 되찾아야 할 것