TORSION
Time: 0.200
MODEL <4, [ 5, -5, -5, 5, -5, 15, 0, 5, -5, -15, 5, 1, 2, -20, 20, 1, 20, -20, -10, -20, 30 ]>
K3_POINT [ -2, -2, -2, 2, -1, -1 ]
SUM
Time: 0.120
MODEL <4, [ 10, 5, -5, -2, 6, 13, 12, -8, -7, -12, 8, 3, 1, -2, 6, 11, -12, -13, 15, -2, 11 ]>
DONE
