SMT I Final PMA+ vs SMT C Final PMA+