loading SCIP...
30 9359 true
8 12 16 22 24 25 32 34 36 37 39 41 43 48 54 60 61 64 67 70 72 73 75 76 81 82 88 90 97 99