loading SCIP...
13 36968 true
2 19 31 53 56 62 64 70 76 86 87 92 98