Using Cc1ccc(S(=O)(=O)Oc2cc3c(C)nnc(-c4ccccc4F)n3n2)cc1 to produce Cc1nnc(-c2ccccc2F)n2nc(O)cc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.