Refinements

8.5
9
36