5643.sat