Using Nc1nc(C(=O)N2Cc3ccccc3C2)c2cc(C#CCO)ccc2n1 to produce Nc1nc(C(=O)N2Cc3ccccc3C2)c2cc(C#CC=O)ccc2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.