loading SCIP...
10 38234 true
7 10 20 25 27 61 63 67 68 71