loading SCIP...
10 45500 true
0 23 43 46 48 64 65 66 67 79