inscribe in Unisat