loading SCIP...
29 10906 true
2 5 6 15 18 24 25 27 28 34 37 38 39 44 51 52 58 60 62 66 76 77 78 79 83 89 90 93 95