一堆煤 用去五分之三 还剩25.2吨,用去了几吨?