Random Minimum Satisfiability Modulo