4394.sat