Working on SAT.lhs.  test and generate_formula functions are not currently random.