Using OB(O)c1cccs1, Fc1ccc(Cn2nnc3ncc(Br)nc32)cc1 to produce Fc1ccc(Cn2nnc3ncc(-c4cccs4)nc32)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.