Populate random_seed for new MiniSat solvers.