SMT

SMT

결과 값: 1