A runner goes 6.40 miles on Monday and 4.25 miles on Tuesday. On Wednesday, the runner goes 4.75 fewer miles than the combined Monday and Tuesday distance. How many miles does the runner go in all over Monday, Tuesday, and Wednesday?