25777.sat