Using O=C(c1ncc[nH]1)C(F)(F)F, COc1ccc2c(c1)CSCC2=O to produce COc1ccc2c(c1)CSC(C(=O)C(F)(F)F)C2=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.