Using O=C([O-])C(F)(F)F, CCOC(=O)c1sc(-c2ccc(OCC(C)C)c(Br)c2)nc1C to produce CCOC(=O)c1sc(-c2ccc(OCC(C)C)c(C(F)(F)F)c2)nc1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.