6254.sat