basis:
3808 0 3777 3534.64
1187 3061 3405 1321.53
x:
3527.62 1719.25
tol:
13
big:
1e+20
coeff:
0.000000 0.014258 0.178989 0.806753
