3 ms·A practical programmer will use a SAT solver. And bang!, problem solved! :)by sinuhe69 2y agoA practical programmer will use a SAT solver. And bang!, problem solved! :)