Refinements

7.5
8
12
30