loading SCIP...
39 2297 true
0 3 5 9 10 13 15 20 25 27 29 30 31 33 34 35 36 39 43 49 53 54 60 61 62 63 65 66 70 72 78 79 82 83 85 88 95 97 98