Amplitude analysis and branching fraction measurement of B̄s0→J/ψK+K-