loading SCIP...
13 34000 true
9 20 37 48 50 54 61 62 67 79 86 87 92