loading SCIP...
13 35484 true
0 7 29 34 41 44 53 54 60 66 69 79 90