loading SCIP...
10 43484 true
26 33 37 45 58 64 65 71 85 98