loading SCIP...
15 35953 true
2 5 12 18 28 31 39 54 60 64 75 83 90 94 99