loading SCIP...
7 49046 true
1 12 28 33 47 64 82