Existence and uniqueness of t-graphs of prescribed mean curvature in Heisenberg groups | Synapse