loading SCIP...
43 2375 true
0 2 3 5 6 8 10 11 12 15 19 24 26 29 30 31 33 40 41 44 46 47 48 51 56 57 58 61 62 64 65 68 69 73 77 78 83 84 85 86 93 97 98