loading SCIP...
42 1281 true
0 1 5 13 15 16 17 19 21 25 26 27 32 33 34 39 41 42 44 46 47 52 55 58 59 62 63 64 65 68 70 76 81 82 85 87 88 89 91 93 94 97