loading SCIP...
8 44297 true
3 27 34 47 48 50 72 98