loading SCIP...
24 19859 true
7 13 18 19 22 25 31 33 38 40 42 44 45 58 59 63 66 70 73 75 76 82 96 99