loading SCIP...
11 43516 true
0 9 16 43 45 53 74 86 87 90 97