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