loading SCIP...
10 39391 true
2 4 9 23 66 73 77 78 94 96