loading SCIP...
16 33765 true
0 3 16 21 35 38 39 45 49 64 70 74 76 90 95 97