8 7 | 40 | | | | | | | | | SMT | | | | | | | | | | | | | | |