loading SCIP...
13 37141 true
15 20 26 42 44 49 68 69 72 80 88 95 98