Using Fc1ccc(C[Zn+])c(F)c1, O=c1ccn2cc(Br)ccc2c1-c1c(F)cccc1F to produce O=c1ccn2cc(Cc3ccc(F)cc3F)ccc2c1-c1c(F)cccc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.