Using CCON=C(CCl)OC(=O)NC1CC1, Cc1ccccc1S(c1ccc(Br)cc1)=P(=O)[O-] to produce CCON=C(COP(=O)=S(c1ccc(Br)cc1)c1ccccc1C)OC(=O)NC1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.