loading SCIP...
12 37968 true
1 15 27 44 53 64 76 78 81 82 83 87