Using [C-]#[N+]C(c1ccc(F)cc1)S(=O)(=O)c1ccc(C)cc1, Nc1nc2ccc(C=O)cc2s1 to produce Nc1nc2ccc(-c3ocnc3-c3ccc(F)cc3)cc2s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.