一堆煤用去20%,剩下的比用去的多12吨,这堆煤有多少吨?