loading SCIP...
10 47656 true
16 24 46 50 64 66 71 81 89 96