loading SCIP...
12 35296 true
4 9 10 12 34 35 36 47 49 80 88 97