Random Minimum Satisfiability Discrete