Using C[PH+](C)C, Cc1ccc(N(c2ccc(C=O)cc2)c2ccc(C)c(C)c2)cc1C to produce C=Cc1ccc(N(c2ccc(C)c(C)c2)c2ccc(C)c(C)c2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.