walls.sat