A 12-ton mixture consists of one-sixth sand, two-sixths gravel, and one- half cement. If x tons of cement are added, the mixture will contain 60 percent cement. How many tons of cement must be added?