TORSION
Time: 0.170
MODEL <4, [ -2, -4, 1, -7, 2, 19, -7, 12, 6, -6, 6, -10, -11, -3, -28, -8, 9, -11, -11, -27, -9 ]>
K3_POINT [ -34, 107, 97, 42, -60, -69 ]
SUM
Time: 0.130
MODEL <4, [ 16, 25, 3, 11, 9, -7, 6, -8, -1, 2, -2, 3, 7, -6, 16, 2, -7, 7, 4, 12, 11 ]>
DONE
