Refinements

6
9.5
13