Time: 1.630
MODEL <259185864168, [ -95574308235, -272274307107, -708635992127, 110029424367, 540820719723, 1203982465150, 36063076608, -372289507280, 257682309270, 691153485801, 425503221250, -512555141033, 622435450402, 1097614254889, 1577575960032, -37419532966, -410798765703, -972956309674, -314937053506, -1927595870196, -1240048495209 ]>
DONE
