Probably just a haircut. How much nobody knows yet, but according to the FDIC release, 3 months ago they actually had $209B of assets, so it's not a FTX-like 'oops we accidentally your money' scenario.