loading SCIP...
8 42938 true
8 15 18 31 44 72 94 95