loading SCIP...
12 37938 true
14 17 18 35 49 56 60 72 76 79 93 99