5254.sat