Using COc1nn(C)c(C(F)(F)F)c1CSC1=NOC(C)(C)C1 to produce Cn1nc(O)c(CSC2=NOC(C)(C)C2)c1C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.