A Polynomial Time Algorithm for 3SAT. - Robert Quigley (CoRR, 2024)