loading SCIP...
34 5718 true
0 2 4 11 20 22 28 30 31 32 33 38 41 43 46 47 50 54 55 57 58 61 63 69 73 76 78 84 88 89 90 91 95 97