Using CCOC(=O)C1([P+](c2ccccc2)(c2ccccc2)c2ccccc2)CC1, O=C1COCC(=O)N1 to produce CCOC(=O)C1=C2COCC(=O)N2CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.