Using CC(C)[P+](c1ccccc1)(c1ccccc1)c1ccccc1, CN(C/C=C/C#CC(C)(C)C)Cc1cccc(C=O)c1 to produce CC(C)=Cc1cccc(CN(C)C/C=C/C#CC(C)(C)C)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.