Refinements

7.5
11
12
30