Using O=C([O-])[O-], O=C1NC(=O)C(c2ccccc2)(c2ccccc2)N1 to produce O=C1NC(c2ccccc2)(c2ccccc2)C(=O)N1CO, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.