Using O=C(Nc1ccccc1)c1[nH]ccc1C(F)F, NP(=O)(c1ccccc1)c1ccccc1 to produce Nn1ccc(C(F)F)c1C(=O)Nc1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.