(9.8)
(8.1)
(8.3)
(8.4)
(8.6)
(8.2)
(9.3)
(9.6)
(11.7)
(13.2)
(13.3)
(12.7)
(8.0)
(8.1)
(8.1)
(8.5)
(8.2)
(8.2)
(8.1)
(8.1)

-------------------------
min: 8.0339908599854
max: 13.286828994751

avg: 9.3227624893188