loading SCIP...
9 47234 true
20 49 63 65 68 75 78 79 86