loading SCIP...
26 12453 true
2 7 8 10 12 19 20 25 29 30 47 49 52 57 60 64 67 69 74 77 83 84 87 92 95 97