loading SCIP...
32 8203 true
3 8 11 13 14 19 23 24 26 28 30 32 35 41 44 45 46 47 50 52 64 66 70 75 77 78 84 85 89 90 98 99