loading SCIP...
17 32109 true
0 3 11 18 19 29 42 48 64 66 74 76 83 87 90 93 94