Symbol: SMT_P10F3