Uniqueness of colorability and colorability of planar 4-regular graphs are NP-complete

Uniqueness of colorability and colorability of planar 4-regular graphs are NP-complete