loading SCIP...
35 6641 true
0 5 6 10 14 15 16 17 18 21 29 31 35 36 43 46 51 52 53 58 61 62 66 67 68 71 72 78 80 81 82 84 91 95 96