1289.sat