Write a program that generates random $3-$SAT problems, and re$-$examine Mitchell$-$Selman$-$Levesque$$s $1992$ results about phase transition using significantly larger SAT problems.

$*$ D$.$ Mitchell, B$.$ Selman, H$.$ Levesque,

Hard and Easy Distributions of SAT Problems. In Proc. AAAI$92,$ pp$\mathrm{.}459-465.$

Attach $($as Appendix of your report$)$ the source code of your

program$($s$).$ Attaching CNF files is not necessary.

You may use any state$-$of$-$the$-$art SAT solver, including Glucose and MiniSat $2\mathrm{.}2.$