Algorithmic complexity of pair cleaning method for k-satisfiability problem. (draft version) - Sergey Kardash (CoRR, 2011)