loading SCIP...
11 39547 true
12 19 27 33 47 51 66 68 78 81 87