Using BrC(Br)(Br)Br, OCc1cccc(OCc2nc3cc(F)ccc3s2)c1 to produce Fc1ccc2sc(COc3cccc(CBr)c3)nc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.