loading SCIP...
12 40266 true
1 8 17 27 29 30 34 72 86 87 96 98