loading SCIP...
28 12250 true
1 2 8 9 16 20 26 29 30 38 39 46 50 60 64 65 74 78 82 84 85 87 88 89 92 93 96 97