loading SCIP...
24 16812 true
5 6 11 12 17 25 27 29 32 33 52 57 59 61 69 75 76 78 80 83 86 93 94 99