5982.unisat