They absolutely did the former. Those are the securities which were marketable reasonably quickly, and they were planning to sell equity, too (another expensive but liquid asset).

Now that those assets are in the FDIC's hands, though, they can likely be unwound really slowly and without a ton of execution slippage, which would have otherwise happened if this were a firesale.