12吨的煤如果用去了7分之1吨,还剩下几分之几吨