4602.sat