Using Cc1nnc(C(=O)c2cc(Br)cc(C(F)(F)F)c2)o1, CCOC(=O)CP(=O)(OCC)OCC to produce CCOC(=O)/C=C(/c1cc(Br)cc(C(F)(F)F)c1)c1nnc(C)o1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.