Using Cc1cc(C#CC=O)nc(Oc2cc(C(F)(F)F)nn2C)c1, CC(C)[PH](c1ccccc1)(c1ccccc1)c1ccccc1 to produce CC(C)=CC#Cc1cc(C)cc(Oc2cc(C(F)(F)F)nn2C)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.