Using BrCC1CC1, CC(C)c1cn(C2C3CC4CC(C3)CC2C4)c(=O)[nH]1 to produce CC(C)c1cn(C2C3CC4CC(C3)CC2C4)c(=O)n1CC1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.