loading SCIP...
20 25984 true
0 27 32 34 35 51 52 53 54 56 57 66 67 72 76 77 79 80 83 91