67689.unisat