4643.sat