Using FC(F)(F)c1ccc(C2NCCc3ccccc32)cc1, S=C(n1ccnc1)n1ccnc1 to produce NC(=S)N1CCc2ccccc2C1c1ccc(C(F)(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.