loading SCIP...
12 40500 true
7 12 29 36 37 43 49 54 65 67 76 80