SMT D Final PMA+ vs SMT B Final PMA+