loading SCIP...
37 6031 true
0 9 11 13 14 15 16 17 21 24 28 30 33 35 43 45 50 52 53 54 56 60 63 64 68 69 71 72 77 83 86 88 89 93 94 97 99