loading SCIP...
30 11890 true
3 4 6 8 9 11 16 17 21 23 25 31 37 38 40 45 49 55 57 58 60 61 62 64 74 75 78 95 96 99