(5.0)
(5.7)
(6.9)
(7.0)
(4.6)
(4.9)
(4.5)
(5.8)
(8.3)
(9.0)
(8.2)
(8.3)
(8.3)
(8.6)
(8.2)
(8.3)
(8.0)
(8.2)
(6.8)
(8.1)

-------------------------
min: 4.5390129089355
max: 8.9879035949707

avg: 7.1422338485718