Compose a program GenerateSAT that can generate random instances of SAT, in the format described in the text. Take the following four command-line arguments: • m, the number of equations • n, the...

Compose a program GenerateSAT that can generate random instances of SAT, in the format described in the text. Take the following four command-line arguments:

• m, the number of equations

• n, the number of variables

• p, the percentage of non-negated variables

• q, the percentage of negated variables