loading SCIP...
23 21438 true
0 1 6 7 11 15 17 18 22 35 36 46 48 53 59 61 72 76 79 82 86 95 98