Using Nc1nc2[nH]c(=S)[nH]c(=O)c2s1, Fc1cccc(CBr)c1F to produce Nc1nc2[nH]c(SCc3cccc(F)c3F)nc(=O)c2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.