Solvability of dissipative second order left-invariant differential operators on the Heisenberg group

We prove local solvability for large classes of operators of the form