loading SCIP...
10 38094 true
8 21 24 25 43 51 79 85 87 88