Using COC(=O)c1c(C(C)C)nc(N)c(C=O)c1-c1ccc(F)cc1, COC[P+](c1ccccc1)(c1ccccc1)c1ccccc1 to produce COC=Cc1c(N)nc(C(C)C)c(C(=O)OC)c1-c1ccc(F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.