Using Fc1cccc(CBr)c1F, Nc1nc(S)nc(S)c1N to produce Nc1nc(SCc2cccc(F)c2F)nc(SCc2cccc(F)c2F)c1N, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.