loading SCIP...
10 44109 true
1 3 5 30 38 46 50 52 62 63