3.800000
3.000000 12.000000 -4.000000 0.000000 -13.000000