loading SCIP...
17 30953 true
0 7 12 16 17 25 40 42 44 46 53 55 61 69 79 85 96