Using CC1(C)Oc2ccc(C#N)cc2C(c2cccn(Cc3ccccc3)c2=O)C1O, [OH-] to produce CC1(C)C=C(c2cccn(Cc3ccccc3)c2=O)c2cc(C(N)=O)ccc2O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.