loading SCIP...
13 36046 true
7 16 36 39 41 45 47 49 54 60 64 83 84