loading SCIP...
43 890 true
0 1 3 4 11 13 15 21 22 23 24 25 26 28 29 31 32 33 38 40 42 47 48 49 53 54 56 61 64 65 66 70 72 73 74 78 82 83 85 87 89 97 98