walks.sat