hoar.unisat