loading SCIP...
16 33500 true
1 12 17 20 24 27 45 64 67 74 80 86 89 95 96 98