1
$
dolphinfan(1)
30.20
2
$
dolphinfan(2)
23.60
3
stewy5(1)
18.10
3
stewy5(2)
18.10
