loading SCIP...
10 38969 true
3 9 47 51 64 82 85 91 94 98