loading SCIP...
12 38297 true
5 49 51 56 58 68 70 71 84 87 90 95