loading SCIP...
10 42859 true
12 16 19 29 31 35 44 48 80 98