loading SCIP...
11 39546 true
1 2 10 11 38 45 48 63 64 78 90