Using O=[N+]=O, C[Si](C)(C)c1cc(OC(F)(F)F)cc2sc(N)nc12 to produce Nc1nc2c([N+](=O)[O-])cc(OC(F)(F)F)cc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.