loading SCIP...
10 42547 true
28 49 57 64 67 78 82 90 92 96