Abstract: We consider the path integral of topologically twisted 5d N=1 SU(2) supersymmetric Yang-Mills theory on M x S1, where M is a smooth closed four-manifold. We derive the topological correlation functions, which produce K-theoretic Donaldson invariants of M.