5284.sat