loading SCIP...
13 38140 true
4 16 20 32 33 50 60 61 64 67 70 71 82