loading SCIP...
33 7562 true
1 3 6 9 14 17 19 24 25 28 32 34 35 38 42 44 45 46 49 50 52 56 60 66 68 71 72 73 82 86 92 95 97