Using O=C[C@@H](Cc1ccccc1F)N(Cc1ccccc1)Cc1ccccc1, CCOC(=O)c1cccnc1C[P+](C)(C)C to produce COC(=O)c1cccnc1/C=C/[C@@H](Cc1ccccc1F)N(Cc1ccccc1)Cc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.