TORSION
Time: 0.190
MODEL <4, [ -9, 10, -6, -6, -10, -16, -10, 20, 20, 40, 0, -11, -22, -20, 8, -11, -20, 8, -10, 0, -16 ]>
K3_POINT [ 0, -4, 4, -8, -8, -1 ]
SUM
Time: 0.120
MODEL <4, [ 16, -8, 0, 8, -8, -4, -6, 8, 4, -4, -6, 3, 10, 14, 12, 5, 14, 10, 5, 6, 22 ]>
DONE
