Using NNC(=O)c1cn2ccnc2c(Cl)c1Nc1ccc(Br)cc1F, S=C=S to produce Fc1cc(Br)ccc1Nc1c(-c2nnc(S)o2)cn2ccnc2c1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.