Using CC1(C)[C@@H]2CC[C@@]1(C)c1[nH]n(CC(F)(F)F)c(=O)c12, BrCCc1ccccc1 to produce CC1(C)[C@@H]2CC[C@@]1(C)c1c2c(=O)n(CC(F)(F)F)n1CCc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.