12吨煤,如果用去了7分之1吨,还剩多少吨