SMT D Final PMA- vs SMT C Final PMA-