3 ms·

Technically yes, but the FDIC is also working to release as much uninsured funds as possible as an "advance dividend".