6394.sat