6.0d0
 25.0d0
-11.0d0
 15.0d0