loading SCIP...
13 34203 true
5 7 13 15 18 29 36 44 50 67 79 82 91