snake.sat