loading SCIP...
19 29046 true
2 4 16 28 30 37 45 46 52 59 62 64 70 74 76 89 93 95 96