Since she married a GC holder instead of Citizen, it will take her another 3 years before she can apply for citizenship. It can take anywhere from a year to more to get the citizenship. I don't think you want to wait that long. Hence, once she finalizes her divorce, apply for the marriage license and get married. Then you can apply for the GC.