loading SCIP...
13 39953 true
11 12 18 20 25 30 56 67 75 79 82 86 89