Using COCC1C(=O)OC1CCCCC(C)CC(C)=CC(C)=CC(=O)OC, O=[O+][O-] to produce COCC1C(=O)OC1CCCCC(C)CC(C)=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.