loading SCIP...
29 10484 true
5 21 23 24 28 30 33 34 35 43 45 46 52 55 62 65 68 69 71 75 76 78 85 88 89 94 95 96 98