5992.unisat