Cryolite is an ore of aluminium used in the extraction of aluminium from bauxite;
it was found to have 33% sodium, 13% aluminium and 54% fluorine.
Work out the empirical formula.