loading SCIP...
29 11109 true
0 1 2 7 8 16 17 19 21 26 32 33 34 38 42 43 44 47 57 61 64 65 67 76 82 83 88 90 97