Using Cc1cc(O)c2cc(C#N)ccc2n1, CC1=Nc2ccc(C#N)cc2C(=O)C1 to produce CC1=Nc2ccc(C=O)cc2C(=O)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.