[det]random_labeling(+Seed,
+Vs)Select a single random solution. An admissible assignment of truth
values to the Boolean variables in Vs is chosen in such a way
that each admissible assignment is equally likely. Seed is an
integer, used as the initial seed for the random number generator.