loading SCIP...
13 36453 true
1 7 23 28 30 40 47 49 54 66 78 79 96