Using O=C(O)c1cc(F)c(F)cc1Nc1ccnn1-c1ccccn1, O=P(Cl)(Cl)Cl to produce Fc1cc2nc3c(cnn3-c3ccccn3)c(Cl)c2cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.