I'm aware of that, the combined Class 17 Snr and Sub debt totaling $13.8B, now ~$13.2B, is still a liability of the FDIC.
What was paid by the LT was a separate $15M claim made by members of the Class 17B Sub Bond class.
Class 17A Snr Bonds were already paid $335M by the LT in 2012 as part of the GSA, while the Class 17B Sub Bonds received nothing at that time.
So far the FDIC has only paid $600M to the Snr Bonds while the Sub Bonds have not received any distribution to date.