loading SCIP...
10 46000 true
13 28 31 32 52 58 65 68 69 87