当前条件: IR(uA) : 3 IFSM(A) : 20