The ratio of the weight of cement to the weight of sand is 1:3. How many pounds of sand are in 9 pounds of cement?​