hash.sat