9 billion, while the state debt in November 2012, according to one source, totalled US$2