loading SCIP...
8 40109 true
2 20 24 49 61 65 70 75