1254.sat