Using BrCC1CC1, O=c1[nH]c2cc(F)c(F)cc2c(=O)n1N(Cc1ccccc1)Cc1ccccc1 to produce O=c1c2cc(F)c(F)cc2n(CC2CC2)c(=O)n1N(Cc1ccccc1)Cc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.