26.3.4 当模型不可行时,获取FarkasDual与FarkasProof