SMT 4

SMT 4
1