loading SCIP...
32 8282 true
0 5 7 10 19 22 23 26 27 30 31 32 37 39 45 46 49 51 54 55 57 60 61 63 72 73 79 80 84 85 87 89