Using COCCn1c(-c2ccc(C(C)C)cc2)nc2cc(C#N)cc(OC)c21, O=[PH2][O-] to produce COCCn1c(-c2ccc(C(C)C)cc2)nc2cc(C=O)cc(OC)c21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.