loading SCIP...
10 45953 true
9 28 50 58 60 61 64 65 87 99