loading SCIP...
23 22015 true
1 2 3 12 20 21 29 33 39 40 43 44 50 64 68 70 74 75 77 85 88 89 95