SMT Baseline PMA- vs SMT Final I PMA-