5987.unisat