loading SCIP...
9 47360 true
1 6 19 20 51 69 73 89 98