Although satisfiability problem can has any format, in order to prove P = NP, it must take 

the 'most difficult' and 'most efficient' form for the satisfaction of NP completeness.

For this purpose, any implementation of satisfiability problem require at least

2 ^ n

time complexity, this is also the possible input data items.

Therefore, N = NP will ever be possible, and P != NP is true.

This is a theorem now.