Using CN1CCc2[nH]c3cc(F)ccc3c2C1, CC(=CBr)c1ccc(F)cc1 to produce C/C(=C\n1c2c(c3ccc(F)cc31)CN(C)CC2)c1ccc(F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.