loading SCIP...
10 31531 true
1 6 8 23 45 57 64 65 77 93