loading SCIP...
43 1282 true
0 3 4 5 10 16 17 19 20 21 26 27 29 31 32 34 35 38 39 40 41 42 47 48 49 52 56 58 59 62 68 71 77 78 81 82 83 88 89 90 92 94 95