Using Brc1ccc2cc[nH]c2c1, CON(C)C(=O)c1ccc(F)c(S(N)(=O)=O)c1 to produce NS(=O)(=O)c1cc(C(=O)c2ccc3cc[nH]c3c2)ccc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.