David and Carlo ran laps to train for the long-distance running team. The ratio of the number of laps David ran to the number of laps Carlo ran was to . If David ran miles, what percentage of the total number of miles did Carlo run?