loading SCIP...
13 39000 true
7 24 27 32 43 60 61 64 78 80 81 90 97