loading SCIP...
13 37656 true
2 15 17 30 43 47 49 56 65 74 86 90 92