1
$
maxmitch(1)
33.80
2
$
exactaron(1)
20.40
3
thetophat(1)
10.20
4
jr42(1)
9.20
5
mondocane(1)
0.00