loading SCIP...
10 46703 true
7 34 35 47 51 56 85 90 93 96