The ratio of the weight of coal to the weight of all raw materials used by a factory is 32:72 How many tons of coal would the factory use if it were to use 9 tons of raw​ materials?