loading SCIP...
8 35782 true
1 14 39 43 46 63 82 83