Using CC(=O)Nc1nc(C)c(-c2csc(C3(C(F)(F)F)CC3)n2)s1 to produce Cc1nc(N)sc1-c1csc(C2(C(F)(F)F)CC2)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.