Using CC1(C)Cc2ccc(C#N)cc2C(Oc2cc[nH]c(=O)c2)C1O, O=C([O-])[O-] to produce Cn1ccc(OC2c3cc(C#N)ccc3CC(C)(C)C2O)cc1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.