loading SCIP...
10 38094 true
15 45 53 58 69 74 80 87 93 98