x1 7.854111018135300 objvar -0.999611821909779