loading SCIP...
10 47157 true
1 13 15 17 32 39 46 56 61 63