MODEL_START 2 1
Time: 0.930
MODEL <39070080, [ 847075, -2626881, -19874191, -6438041, -9618064, 27259404, 1734880, 16244497, 9770667, 16739588, -23417761, 48810095, 166979974, -19685244, -5314673, 54806587, 27871036, -92341599, -9460528, 30129464, 14638357 ]>
MODEL_DONE 2 1
