loading SCIP...
8 41968 true
8 10 17 32 42 67 79 86