loading SCIP...
22 21734 true
5 9 21 23 25 35 36 42 52 70 71 72 74 75 76 81 83 85 94 95 96 99