1
$
blackshark(1)
53.20
2
$
exactaron(1)
8.20
3
norm5one6(1)
7.80