Using COC(=O)c1cc2nc3n(c2cc1S(C)(=O)=O)CCN(c1ncc(C(F)(F)F)c(Cl)n1)[C@@H]3C(C)C, O=C([O-])O to produce COC(=O)c1cc2nc3n(c2cc1S(C)(=O)=O)CCN(c1ncc(C(F)(F)F)c(OC)n1)[C@@H]3C(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.