hex.sat