Using O=CNC1C(=O)N2C(C(=O)OC(c3ccccc3)c3ccccc3)=C(C=C(Br)Br)CS(=O)[C@H]12 to produce C#CC1=C(C(=O)OC(c2ccccc2)c2ccccc2)N2C(=O)C(NC=O)[C@H]2S(=O)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.