The Boolean SATisfiability Problem and the orthogonal group $O(n)$

We explore the relations between the Boolean Satisfiability Problem with $n$ literals and the orthogonal group $O(n)$ and show that all solutions lie in the compact and disconnected real manifold of dimension $n (n-1)/2$ of this group.