Using O=C(O)C(F)(F)F, CC(C)n1ncnc1-c1cn2c(n1)-c1cc(SC3CCN(C(C)(C)C)CC3)ccc1OCC2 to produce CC(C)n1ncnc1-c1cn2c(n1)-c1cc(S(=O)C3CCN(C(C)(C)C)CC3)ccc1OCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.