loading SCIP...
39 2297 true
0 2 9 10 11 14 16 17 22 23 25 26 27 28 30 31 32 39 40 41 42 43 51 60 61 64 65 68 73 74 75 76 81 85 87 88 89 95 96