loading SCIP...
12 39937 true
21 30 35 45 52 65 79 80 82 88 97 99