3-SAT in polynomial time, or P=NP · HackerTrans