uniquely colorable graph