Using CON(C)C(=O)[C@H](CC1CCNC1=O)NC(=O)OC(C)(C)C, C=C(C)Br to produce C=C(C)C(=O)[C@H](CC1CCNC1=O)NC(=O)OC(C)(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.