loading SCIP...
12 39985 true
1 3 11 12 20 42 43 53 57 65 77 93