Fill out the worksheet. Lacerte does it.

Hint - client couldn't have deducted >$10K state tax last year so that is the most that could be taxable. And did they pay RE tax LY?

EDIT: Taxability does not depend on whether it was estimated tax or withholding.