2552.sat