2254.sat