loading SCIP...
32 9516 true
0 4 9 11 14 17 24 25 29 33 35 45 46 52 53 54 59 60 63 66 67 71 72 76 77 78 81 82 83 88 96 98