loading SCIP...
11 21406 true
0 12 46 48 61 63 64 67 73 79 86