Using O=C(NNC(=S)NC(=O)c1cc(-c2ccccc2)nc2ccc(OC(F)(F)F)cc12)c1cccs1 to produce O=C(Nc1nnc(-c2cccs2)o1)c1cc(-c2ccccc2)nc2ccc(OC(F)(F)F)cc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.