六年春，亮出攻祁山，不克。冬，復出散關，圍陳倉，糧盡退。魏將王雙率軍追亮，亮與戰，破之，斬雙，還漢中。