Using COC(=O)c1ccc2c(F)cnc(-c3c(F)cccc3OC)c2c1 to produce O=C(O)c1ccc2c(F)cnc(-c3c(O)cccc3F)c2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.