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