4254.sat