loading SCIP...
31 9453 true
0 2 3 6 14 15 26 27 28 32 34 38 40 44 47 51 54 56 57 63 64 65 66 69 76 85 93 94 96 98 99