1283.sat