loading SCIP...
13 38562 true
9 16 24 43 46 47 53 57 58 67 79 86 89