Using Oc1cc(Br)cc(F)c1F, O=[N+]([O-])c1cccc(S(=O)(=O)OC[C@H]2CO2)c1 to produce Fc1cc(Br)cc(OC[C@H]2CO2)c1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.