loading SCIP...
27 12453 true
1 3 14 18 20 25 36 37 38 46 47 48 51 52 58 62 67 69 70 71 73 83 84 87 92 94 97