Just for demonstration add another SAT test and output the data.
Just for demonstration add another SAT test and output the data.

Christof/voly-labeller,Christof/voly-labeller,Christof/voly-labeller,Christof/voly-labeller