loading SCIP...
17 28828 true
4 12 28 31 52 58 59 61 62 66 68 74 79 82 84 85 88