食堂十一月份用煤比十月份节约1/10,恰好节约了1/2吨,食堂十月份用煤多少吨?