Checking if P = NP... still checking...