Added three-colorability test