Using Fc1ccc(CBr)cc1, CCOC(=O)c1sc(N2C[C@H](C)NC2=O)nc1C to produce CCOC(=O)c1sc(N2C[C@H](C)N(Cc3ccc(F)cc3)C2=O)nc1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.