diamond-hand.unisat