1432.sat