loading SCIP...
32 8594 true
0 1 7 8 15 19 20 21 23 24 25 27 29 37 38 39 43 51 55 56 59 60 69 76 78 81 83 85 91 92 94 96