loading SCIP...
27 13453 true
2 5 8 9 23 29 34 35 37 41 43 45 46 47 52 57 58 60 61 62 63 71 81 83 84 96 98