loading SCIP...
8 32078 true
24 38 45 49 53 75 92 95