loading SCIP...
32 8516 true
7 8 9 17 19 20 22 23 24 28 33 34 42 45 49 52 54 58 59 61 62 67 75 76 77 78 79 80 83 84 97 99