Simplest randomK-satisfiability problem

Simplest randomK-satisfiability problem