Using FC(F)(F)c1cc(N=C=S)ccc1Cl, O=[N+]([O-])c1ccc(Sc2nc3ccccc3[nH]2)cc1 to produce FC(F)(F)c1cc(NC(=S)Nc2ccc(Sc3nc4ccccc4[nH]3)cc2)ccc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.