loading SCIP...
20 28344 true
2 7 8 20 22 25 26 34 37 38 40 46 50 72 75 76 81 82 88 92