5.8000000000
8.0000000000 -13.0000000000 0.0000000000 -9.0000000000 -12.0000000000