5/20 may be a bit late, because that is the last day she will be allowed to stay in the US. You might need to show a flight ticket dated 5-20 outbound of USA or show USCIS receipt that an extension is pending if you wait till the last day of I-94 to return to US.