Using Fc1ccc(-c2ccc(C[P+](c3ccccc3)(c3ccccc3)c3ccccc3)cn2)cc1F, N#C[C@H]1CC[C@H](C=O)CC1 to produce N#C[C@H]1CC[C@H](C=Cc2ccc(-c3ccc(F)c(F)c3)nc2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.