loading SCIP...
12 38031 true
0 26 27 32 47 49 67 68 69 84 91 95