basis:
235 376 2132 3911
56 2437 3335 1284
x:
183 2187
tol:
80
big:
1e+20
coeff:
0.109414 0.890586 0.000000 0.000000
