某食堂九月份烧煤9吨，比八月份节约25%，八月份烧煤多少吨?