loading SCIP...
8 27984 true
35 55 68 82 83 86 90 93