焦炭是（煤）在高温干后的残锱固体物，产率为（）。