Using O=C1CCC(=O)N1Br, C#CC[C@]12CCC(=O)C=C1C(=C)C[C@@H]1[C@@H]2CC[C@]2(C)C(=O)CC[C@@H]12 to produce C=C1C[C@@H]2[C@H](CC[C@]3(C)C(=O)CC[C@@H]23)[C@@]2(CC#CBr)CCC(=O)C=C12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.