Using O=c1c2cc(-c3cccnc3F)ccc2oc2c(F)nc(Br)cc12, C[Mg]Br to produce C=C1c2cc(-c3cccnc3F)ccc2Oc2c1cc(Br)nc2F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.