Planar 3-colorability is polynomial complete | Synapse