loading SCIP...
34 5703 true
0 2 9 10 11 13 15 16 22 28 30 35 40 41 42 44 46 47 54 56 59 70 73 75 77 78 80 82 83 85 89 93 94 97