loading SCIP...
33 8875 true
0 2 3 6 7 9 14 25 27 31 32 33 34 37 38 39 40 43 46 48 49 50 54 57 59 65 71 76 88 90 96 98 99