loading SCIP...
13 37000 true
7 13 42 49 50 54 56 72 74 82 87 97 98