loading SCIP...
12 38656 true
3 10 11 13 28 43 44 46 54 72 75 97