They are solvent unless they have to suddenly sell the bonds, in which case they are worth less now than at maturity.