4524.sat