loading SCIP...
17 35593 true
3 8 10 44 56 59 62 68 70 72 77 80 84 88 89 94 99