Using COCn1cc2cc(C=O)cc(C)c2n1, CCP(=O)(CC)C(OC(C)=O)C(=O)OC to produce COCn1cc2cc(C=C(OC(C)=O)C(=O)OC)cc(C)c2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.