Intersection Non-Emptiness Problem