loading SCIP...
15 33360 true
19 29 32 35 36 43 54 61 65 69 72 77 83 94 96