The paper was revised.
revision
Keyphrases: NP-complete, P vs NP, X3SAT, one-in-three SAT
@booklet{EasyChair:1734, author = {Latif Salum}, title = {On the Tractability of Un/Satisfiability}, howpublished = {EasyChair Preprint 1734}, year = {EasyChair, 2020}}