5234.sat