loading SCIP...
43 687 true
1 3 4 5 9 10 15 19 21 24 25 30 32 34 35 38 40 41 42 43 45 49 50 53 55 57 59 60 64 65 68 71 74 78 79 81 84 89 90 93 96 97 99