Adding generators for satisfiable SMU_{delta=1} clause-sets and unsatisfiable variants.