loading SCIP...
7 52750 true
49 70 71 75 90 95 97