一堆煤用去20%,正好是80吨,这吨煤有多少吨?