The first order nonlinear ODE φ(t) + sin ϕ(t) = B + A cos ωt, (A, B, ω are real constants) which is commonly used as a simple model of an overdamped Josephson junction in superconductors is investigated. Its general solution is obtained in the case of the choice of parameters associated with one of three possible kinds of asymptotic behavior of solutions known as phase-lock where all but one solutions converge to a common 'essentially periodic' attractor. The general solution is represented in explicit form in terms of the Floquet solution of a particular instance of the double confluent Heun equation (DCHE). In turn, the solution of DCHE is represented through the Laurent series which defines an analytic function on the Riemann sphere with punctured poles. The Laurent series coefficients are given in explicit form in terms of infinite products of 2 × 2 matrices with a single zero element. The closed form of the phase-lock condition is obtained which is represented as the condition of existence of a real root of the transcendental function. The phase-lock criterion is conjectured whose plausibility is confirmed in numerical tests.