Checking whether P = NP ...