5423.sat