loading SCIP...
36 5469 true
1 6 10 13 16 18 20 22 23 28 35 36 37 39 42 43 47 51 52 56 59 63 70 71 73 77 78 79 83 84 87 90 91 94 95 99