Using NC(=O)c1cnn2c1NCC=C2c1cccc(C(F)(F)F)c1, CCOC(=O)N=C=S to produce CCOC(=O)NC(=S)N1CC=C(c2cccc(C(F)(F)F)c2)n2ncc(C(N)=O)c21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.