Using O=C(O)/C=C/c1ccc(Br)cc1, Nc1ccc2c(cnn2CC(O)(Cn2cncn2)c2ccc(F)cc2F)c1 to produce O=C(/C=C/c1ccc(Br)cc1)Nc1ccc2c(cnn2CC(O)(Cn2cncn2)c2ccc(F)cc2F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.