Using O=C1C[C@@H](ONC(=O)[C@@H]2CC[C@@H]3CN2C(=O)N3OCc2ccccc2)CN1 to produce O=C1C[C@@H](ONC(=O)[C@@H]2CC[C@@H]3CN2C(=O)N3O)CN1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.