Using O=C(OC(=O)C(F)(F)F)C(F)(F)F, CCOC(=O)c1c(S(=O)C(C)C)c2cc(OCc3ccccc3)ccc2n1C to produce CCOC(=O)c1c(SC(C)C)c2cc(OCc3ccccc3)ccc2n1OCC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.