Using CN1C[C@H](C(=O)Nc2cnccn2)C[C@@H]2c3cccc4[nH]cc(c34)C[C@H]21, C=O to produce CN1C[C@H](C(=O)Nc2cnccn2)C[C@@H]2c3cccc4c3c(cn4CO)C[C@H]21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.