4582.sat