Yup sounds about right though I believed it to be closer to 10 or 11. That's just formatting and android taking up the space. All phones computers etcetera list the size that way even though you never get the true size they advertise. Check your /sdfuse folder might be a rom taking up space. You can delete it but should back it up to pc. But it's only gonna get you around 700mb extra.
Sent from my Lenovo K900_ROW using xda app-developers app
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer?