Proto-Labyrinths SAT Groups