SMT

48 minutes