Using Clc1ncnc2scnc12, NCCc1ccc(Oc2cnccc2C(F)(F)F)cc1 to produce FC(F)(F)c1ccncc1Oc1ccc(CCNc2ncnc3scnc23)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.