loading SCIP...
10 44000 true
38 50 55 62 64 66 75 78 80 88