loading SCIP...
32 7781 true
2 6 15 16 21 22 23 24 27 28 30 34 37 38 39 44 46 48 51 57 59 60 61 69 70 71 74 86 94 95 96 99