Using Nc1nc(-c2nn(Cc3ccccc3F)c3ncccc23)nc2[nH]c(=S)[nH]c12, FC(F)(F)CI to produce Nc1nc(-c2nn(Cc3ccccc3F)c3ncccc23)nc2nc(SCC(F)(F)F)[nH]c12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.