焦炉煤气是炼焦产生的副产品，1吨炼焦干煤在炼焦过程中能产生多少Nm³煤气？（）