loading SCIP...
10 43421 true
22 35 38 40 51 69 84 91 94 96