@zinmarthant: SMT 32