loading SCIP...
28 12000 true
2 11 15 18 23 28 31 36 41 42 43 46 50 60 66 70 72 75 76 77 78 80 84 85 89 91 95 99