loading SCIP...
11 19734 true
0 5 42 46 54 60 77 85 92 93 96