高温下用足量的一氧化碳还原10t含氧化铁80%的赤铁矿石,可炼出含杂质4%的生铁多少吨?