用一氧化碳冶炼纯度为80%的赤铁矿石1000t,理论上可以炼出含杂质4%的生铁多少吨?