Refinements

7.5
13
12
30