一堆煤用去9吨后还剩4分之1这堆煤有多少吨?