loading SCIP...
12 38969 true
6 14 21 32 50 63 66 78 83 86 89 95