Using NC(=O)Cc1ccc(C(=O)Nc2cccc(Cl)c2Cl)cc1, O=S(=O)(O)O to produce O=C(O)Cc1ccc(C(=O)Nc2cccc(Cl)c2Cl)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.