loading SCIP...
9 25516 true
1 2 40 48 73 76 85 88 92