loading SCIP...
8 46953 true
26 40 57 61 62 77 82 85