Using O=[Mn](=O)(=O)[O-], O=C(O)C(=O)C12CC3CC(CC(C3)C1)C2 to produce O=C(O)C(=O)C12CC3CC(CC(O)(C3)C1)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.