loading SCIP...
24 18781 true
2 3 7 8 9 11 16 26 38 43 44 57 61 64 70 71 77 79 80 83 84 88 97 99