loading SCIP...
13 39547 true
0 4 10 33 37 42 43 44 55 59 67 71 77