k-colorability verification done.