loading SCIP...
10 41985 true
7 17 24 38 41 47 55 68 71 83