loading SCIP...
30 10094 true
3 5 6 8 12 15 19 21 34 40 48 52 55 56 59 60 61 63 64 67 69 75 77 82 85 91 92 93 94 97