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