A carpenter uses 10 1/2 ft of cedar for every 12 1/3 ft of redwood for a construction project. If the carpenter uses 5 1/4 ft of​ cedar, how much redwood does he ​need?