Using N#[N+]c1ccc(S(F)(F)(F)(F)F)cc1, C=CC(=O)OC to produce COC(=O)/C=C/c1ccc(S(F)(F)(F)(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.