TORSION
Time: 0.990
MODEL <195350400, [ -38660311, 107427564, 166951438, -95250036, -206430748, 207922230, -15865254, -249325236, 126779682, 484198416, -251804130, -237303199, 362774184, 433881452, -323590242, -100361459, -309574674, 195490570, -19414486, 352940250, -172470522 ]>
K3_POINT [ 8152784973190, 5189265302841, -4436019582523, 1612752462159, -3434569834533, 3063627417939 ]
SUM
Time: 1.060
MODEL <1367452800, [ -74430959, -272116796, 85264899, 453006206, -683850743, 1551141409, 1512990407, -2444706491, -2256721874, 3514556135, -3126502031, 733741417, 2318566266, -2466384270, 3237335239, 656354452, -2177732690, 1468696996, 404795599, 156853685, -1376139463 ]>
DONE
