Solvability of the fourth order nonlinear subelliptic equations on the Heisenberg group