Wuzhang Plains
351年3月、張琚らは東晋の梁州刺史司馬勲の下へ使者を派遣し、苻健討伐を請うた。4月、司馬勲は要請に応じて3万の兵で攻めたが、五丈原にて敗北し、南鄭まで撤退した。