某食堂八月份烧煤7.2吨,比七月份节约了25%,则七月份烧煤多少吨?