Using CSc1ccc(Br)cc1, CC1(C)CC=C(c2ccccc2)C1=O to produce CSc1ccc(C2(O)C(c3ccccc3)=CCC2(C)C)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.