12777.sat