loading SCIP...
11 38484 true
14 16 26 67 72 73 76 82 83 95 99