loading SCIP...
12 39859 true
1 15 23 28 42 50 53 59 77 86 90 93