loading SCIP...
13 35219 true
0 13 23 27 28 29 32 54 65 69 76 94 96