Using Clc1cccc(C[P+](c2ccccc2)(c2ccccc2)c2ccccc2)c1, CN1C(=O)C[C@@H](c2ccccc2)[C@H]1C=O to produce CN1C(=O)C[C@@H](c2ccccc2)[C@H]1C=Cc1cccc(Cl)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.