loading SCIP...
12 39547 true
15 23 27 36 40 52 58 61 62 65 70 95