Using Cc1n[nH]c(N)c1-c1nc2cc(F)c(S(=O)(=O)O)cc2s1, Cc1n[nH]c(N)c1-c1nc2cc(F)ccc2s1 to produce Cc1n[nH]c(N)c1-c1nc2cc(F)c(S(N)(=O)=O)cc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.