Using CC(C)(C)OC(=O)N1CCC[C@](O)(c2nccs2)CC1, O=C1CCC(=O)N1Br to produce CC(C)(C)OC(=O)N1CCC[C@](O)(c2ncc(Br)s2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.