loading SCIP...
30 9844 true
11 16 23 24 25 27 34 35 37 39 40 41 45 51 52 55 62 64 65 70 74 77 79 81 82 83 84 87 90 96