1
$
maxmitch(1)
20.50
2
$
exactaron(1)
7.90
3
lee(1)
7.80
