loading SCIP...
33 9562 true
2 4 8 9 11 20 21 27 28 29 31 33 37 39 42 45 47 48 50 53 54 59 60 62 63 65 67 69 71 85 91 94 95