loading SCIP...
25 15984 true
1 4 10 12 13 23 27 29 30 31 34 37 38 39 45 47 49 58 60 75 78 80 84 90 93