loading SCIP...
13 37125 true
5 9 14 20 39 45 49 51 62 68 77 85 88