loading SCIP...
10 44562 true
2 3 20 40 52 64 66 94 96 98