Random Minimum Satisfiability Solver