loading SCIP...
11 40250 true
11 33 37 39 54 55 56 57 61 65 93