Using CCc1cnc(N2CCC([C@H]3C[C@H]3CO)CC2)nc1 to produce CCc1cnc(N2CCC([C@H]3C[C@H]3C=O)CC2)nc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.