Using ON1C(c2ccc(Br)cc2)=CC=NC1c1c(F)cccc1F, O=P(Cl)(Cl)Cl to produce Fc1cccc(F)c1C1N=CC=C(c2ccc(Br)cc2)N1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.