Using C=C=C[S+](C)C, COc1ccc(C2CC(=O)CC(=O)C2)cc1 to produce COc1ccc(C2CC(=O)c3c(C)coc3C2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.