loading SCIP...
30 10281 true
0 2 10 14 15 21 24 25 36 40 41 43 44 46 47 56 63 67 72 76 77 78 79 80 81 85 91 94 95 96