loading SCIP...
30 10250 true
6 8 15 21 24 25 27 31 36 37 38 40 42 43 47 49 53 54 55 59 62 65 72 75 76 78 80 84 85 99