loading SCIP...
10 46390 true
3 28 42 43 47 64 68 74 81 97