Using CN, Fc1cc(-n2cc(CN=C=S)nn2)cc(F)c1N1CCOCC1 to produce CNC(=S)NCc1cn(-c2cc(F)c(N3CCOCC3)c(F)c2)nn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.