Using CC1(C)C2CC(N3C(=O)c4ccccc4C3=O)C(CO)C1C2 to produce CC1(C)C2CC(N3C(=O)c4ccccc4C3=O)C(C=O)C1C2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.