Subhash Khot originally formulated the Unique Games Conjecture regarding the hardness of approximating certain label-cover constraint satisfaction problems