一堆煤用去5分之3还剩25.2t用了多少t