loading SCIP...
33 7656 true
0 2 3 4 8 14 17 26 27 31 35 36 39 40 41 42 47 48 49 57 60 64 65 66 68 78 81 86 87 94 96 98 99