loading SCIP...
10 31468 true
0 4 23 27 32 36 52 67 69 89