Using O=C(O)NC1C2CC3CC1CC(CN(Cc1ccccc1)C(=O)Cc1ccccc1)(C3)C2 to produce NC1C2CC3CC1CC(CN(Cc1ccccc1)C(=O)Cc1ccccc1)(C3)C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.