loading SCIP...
8 42296 true
4 9 19 44 66 70 85 94