loading SCIP...
15 34078 true
1 13 24 28 32 39 44 45 50 69 71 85 86 88 95