loading SCIP...
28 13578 true
0 1 4 5 7 8 14 16 19 23 27 28 37 41 45 49 50 56 62 66 71 72 82 83 85 92 96 99