loading SCIP...
15 34953 true
8 10 23 25 27 29 33 37 40 45 54 56 64 83 97