P == NP && P !== NP