loading SCIP...
36 6359 true
0 1 3 4 7 12 16 17 19 20 28 29 31 38 41 44 49 51 52 53 54 56 57 61 62 65 69 72 75 76 79 82 85 91 93 99